$\forall$$A$, $B$:Realizer, ${\it es}$:ES. Possible($A$ $\oplus$ $B$;${\it es}$) $\Rightarrow$ \{Possible($A$;${\it es}$) \& Possible($B$;${\it es}$) \& $A$ $\parallel$ $B$\}